libxl/arm: Rename set_interrupt_ppi to set_interrupt and handle SPIs
authorJulien Grall <julien.grall@linaro.org>
Mon, 16 Jun 2014 16:18:04 +0000 (17:18 +0100)
committerIan Campbell <ian.campbell@citrix.com>
Thu, 3 Jul 2014 12:58:08 +0000 (13:58 +0100)
commitae0e535c8a2274baa445f153b878d570a807c1a3
tree1c08e2dc03e6668a178ccd0d31ae24382b99c07a
parent405c167f0ec9aac19aa894ca4f95ba9227a24291
libxl/arm: Rename set_interrupt_ppi to set_interrupt and handle SPIs

The function will be used later during device passthrough to create
interrupts in the device tree. Those interrupts are usually SPIs.

Signed-off-by: Julien Grall <julien.grall@linaro.org>
Cc: Ian Jackson <ian.jackson@eu.citrix.com>
Cc: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
Cc: Ian Campbell <ian.campbell@citrix.com>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
tools/libxl/libxl_arm.c